Foundational aspects of multiscale modeling of biological systems with process algebras
نویسندگان
چکیده
منابع مشابه
Foundational aspects of multiscale digitization
In this article, we describe the theoretical foundations of the Ω-arithmetization. This method provides a multi-scale discretization of a continuous function that is a solution of a differential equation. This discretization process is based on the Harthong-Reeb line HRω. The HarthongReeb line is a linear space that is both discrete and continuous. This strange line HRω stems from a nonstandard...
متن کاملFoundational Aspects of Multiscale Digitisation
In this article, we describe the theoretical foundations of the Ω-arithmetization. This method provides a multi-scale discretization of a continuous function that is a solution of a differential equation. This discretization process is based on the Harthong-Reeb line HRω. The HarthongReeb line is a linear space that is both discrete and continuous. This strange line HRω stems from a nonstandard...
متن کاملamenability of banach algebras
chapters 1 and 2 establish the basic theory of amenability of topological groups and amenability of banach algebras. also we prove that. if g is a topological group, then r (wluc (g)) (resp. r (luc (g))) if and only if there exists a mean m on wluc (g) (resp. luc (g)) such that for every wluc (g) (resp. every luc (g)) and every element d of a dense subset d od g, m (r)m (f) holds. chapter 3 inv...
15 صفحه اولAspects of multiscale modelling in a process algebra for biological systems
We propose a variant of the CCS process algebra with new features aiming at allowing multiscale modelling of biological systems. In the usual semantics of process algebras for modelling biological systems actions are instantaneous. When different scale levels of biological systems are considered in a single model, one should take into account that actions at a level may take much more time than...
متن کاملMultiscale modeling of biological functions.
Recent years have witnessed a tremendous explosion in computational power, which in turn has resulted in great progress in the complexity of the biological and chemical problems that can be addressed by means of all-atom simulations. Despite this, however, our computational time is not infinite, and in fact many of the key problems of the field were resolved long before the existence of the cur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2012
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2011.12.058